
.TH Recent 3 "" "Odoc" "OCaml Library"
.SH Name
Recent
.SH Synopsis
.sp 
.in 2
\fBModule Recent\fR
.in 
.sp 
.SH Documentation
.sp 
.nf 
\f[CB]module\fR \f[CB]type\fR S = \f[CB]sig\fR \f[CB]end\fR
.sp 
\f[CB]module\fR \f[CB]type\fR S1 = \f[CB]sig\fR
.br 
.ti +2
.sp 
.ti +2
\fB1\.1 Parameters\fR
.sp 
.ti +2
\f[CB]module\fR _ : \f[CB]sig\fR \f[CB]end\fR
.sp 
.ti +2
\fB1\.2 Signature\fR
.sp 
.ti +2

.br 
\f[CB]end\fR
.sp 
\f[CB]type\fR variant = 
.br 
.ti +2
| \f[CB]A\fR
.br 
.ti +2
| \f[CB]B\fR \f[CB]of\fR int
.br 
.ti +2
| \f[CB]C\fR
.br 
.ti +4
(* foo *)
.br 
.ti +2
| \f[CB]D\fR
.br 
.ti +4
(* bar *)
.br 
.ti +2
| \f[CB]E\fR \f[CB]of\fR {
.br 
.ti +6
a : int;
.br 
.ti +4
}
.br 
.sp 
\f[CB]type\fR _ gadt = 
.br 
.ti +2
| \f[CB]A\fR : int gadt
.br 
.ti +2
| \f[CB]B\fR : int \f[CB]\->\fR string gadt
.br 
.ti +4
(* foo *)
.br 
.ti +2
| \f[CB]C\fR : {
.br 
.ti +6
a : int;
.br 
.ti +4
} \f[CB]\->\fR unit gadt
.br 
.sp 
\f[CB]type\fR polymorphic_variant = [ 
.br 
.ti +2
| `A
.br 
.ti +2
| `B \f[CB]of\fR int
.br 
.ti +2
| `C
.br 
.ti +4
(* foo *)
.br 
.ti +2
| `D
.br 
.ti +4
(* bar *)
.br 
 ]
.sp 
\f[CB]type\fR empty_variant = |
.sp 
\f[CB]type\fR \f[CB]nonrec\fR nonrec_ = int
.sp 
\f[CB]type\fR empty_conj = 
.br 
.ti +2
| \f[CB]X\fR : [< `X of & \f[CB]'a\fR & int * float ] \f[CB]\->\fR empty_conj
.br 
.sp 
\f[CB]type\fR conj = 
.br 
.ti +2
| \f[CB]X\fR : [< `X of int & [< `B of int & float ] ] \f[CB]\->\fR conj
.br 
.sp 
\f[CB]val\fR empty_conj : [< `X of & \f[CB]'a\fR & int * float ]
.sp 
\f[CB]val\fR conj : [< `X of int & [< `B of int & float ] ]
.sp 
\f[CB]module\fR Z : \f[CB]sig\fR \.\.\. \f[CB]end\fR
.sp 
\f[CB]module\fR X : \f[CB]sig\fR \.\.\. \f[CB]end\fR
.sp 
\f[CB]module\fR \f[CB]type\fR PolyS = \f[CB]sig\fR
.br 
.ti +2
\f[CB]type\fR t = [ 
.br 
.ti +4
| `A
.br 
.ti +4
| `B
.br 
.ti +2
 ]
.br 
\f[CB]end\fR
